#ifndef TIM_H_
#define TIM_H_


#include "gd32f4xx.h"


void timer_config(void);

#endif
